1. Computability: Computable Functions, Logic, And The Foundations Of Mathematics
Author: \ Richard L. Epstein, Walter A. Carnielli
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: توابع محاسبهپذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical
Classification :
QA
9
,.
59
.
E67
2. Computability : computable functions, logic, and the foundations of mathematics
پدیدآورنده : Epstein, Richard L.
موضوع : ، Computable functions,، Logic, Symbolic and mathematical,، Godel's theorem
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Computability : computable functions, logic, and the foundations of mathematics
Author: Epstein, Richard L., 7491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
E67
1989
4. Computability : computable functions, logic, and the foundations of mathematics
Author: Epstein, Richard L.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computable functions, Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
E67
5. Computable functions
Author: Vereshchagin, Nikolai Konstantinovich, 8591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions
Classification :
QA
9
.
59
.
V47V913
6. Computable functions /
Author: A. Shen, N.K. Vereshchagin ; translated by V.N. Dubrovskii
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions
Classification :
QA9
.
59
.
V4713
2003
7. Introduction to mathematical logic : set theory, computable functions, model theory
Author: Malitz, Jerome
Library: Central library and information center (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
M265
1979
8. Introduction to mathematical logic : set theory computable functions model theory
Author: Malitz, Jerome
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
M265
1979
9. Introduction to mathematical logic; set theory computable functions model theory
پدیدآورنده : Malitz, J.
موضوع : ، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
10. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
Author: Soare, Robert Irving
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursive functions,، Computable functions
Classification :
QA
9
.
615
.
S63
1987
11. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
Author: Robert I. Soare,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Recursive functions,Computable functions
Classification :
QA
.
S63
9
.
615
1987
12. Recursively enumerable sets and degrees :astudy of computable functions and computably generated sets
Author: Soare, Robert Irving
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Recursion functions,، Computable functions
Classification :
QA
9
.
615
.
S63
1987
13. The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions
Author: edited by Martin Davis
Library: Central Library and Documentation Center (Kerman)
Subject: ، Gedel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
Classification :
QA
9
.
65
.
U53
2004
14. The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions
Author: edited by Martin Davis
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Godel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
Classification :
QA
9
.
65
.
U53
15. The undecidable;basic papers on undecidable propositions, unsolvable problems and computable functions.
Author: Davis, Martin 8291-ed.
Library: Library of Mofid University (Qom)
Subject:
Classification :
QA
229
.
6
.
D3
U5
1965
